;---------------------- Integer variable list ----------------------

; var(0):= -3, 1000043, 9997, 112233, 515000, 7400
; var(1):= -2, -3, 7777, 7400
; var(2):= -2, -3, 810, 7400
; var(3):= 194, 7400
; var(4):= 7400
; var(5):= 7400
; var(6):= 7400
; var(7):= 7400
; var(8):= 7400
; var(9):= 5300, 7400
;var(10):= 5300, 9997, 515000, 7400
;var(11):= 9997, 515000, 7400, 7500, 7300
;var(12):= 9997, 515000, 7400, 7500, 7300
;var(13):= 7400
;var(14):= 7400
;var(15):= 9997, 515000, 7400
;var(16):= 9997, 515000, 7400
;var(17):= 580000, 7400
;var(18):= 3200, 7400
;var(19):= 7400
;var(20):= 3503, 9997, 515000, 7400, 7500, 7300
;var(21):= 3503, 7400
;var(22):= 3503, 3520, 3530, 7400
;var(23):= 7400
;var(24):= -2, 7400
;var(25):= 7400
;var(26):= 7400
;var(27):= 7400
;var(28):= -2, 7400
;var(29):= 7400
;var(30):= 7400
;var(31):= 7400
;var(32):= 7400
;var(33):= 7400
;var(34):= 7400
;var(35):= 10003, -2, 52, 7400
;var(36):= -2, -3, 40, 52, 7400
;var(37):= -2, 7400
;var(38):= 7400
;var(39):= 7400
;var(40):= 7400
;var(41):= -2, 7400
;var(42):= 313102, 4275634, 7400
;var(43):= -2, 4275634, 7400
;var(44):= -2, 7400
;var(45):= -2, 7400
;var(46):= -2, 7400
;var(47):= 7400
;var(48):= 7400
;var(49):= 7400
;var(50):= 7400
;var(51):= 7400
;var(52):= 13101, 313100, 7400
;var(53):= -3, 1000, 1010, 7400
;var(54):= -2, -3, 7400
;var(55):= -2, -3, 7400
;var(56):= 7400
;var(57):= -3, 7400
;var(58):= -3, 7400
;var(59):= -3, 7400

;---------------------- Float variable list ----------------------

; fvar(0):= 7400
; fvar(2):= 5300, 7400
; fvar(3):= 7400
; fvar(4):= 7400
; fvar(5):= 7400
; fvar(6):= 7400
; fvar(7):= 7400
; fvar(8):= 7400
; fvar(9):= 7400
;fvar(10):= 7400
;fvar(11):= 7400
;fvar(12):= 7400
;fvar(13):= 7400
;fvar(14):= 7400
;fvar(15):= 7400
;fvar(16):= 7400
;fvar(17):= 7400
;fvar(18):= 1040, 7400
;fvar(19):= 7400
;fvar(20):= 7400
;fvar(21):= 7400
;fvar(22):= 7400
;fvar(23):= 7400
;fvar(24):= 7400
;fvar(25):= 7400
;fvar(26):= 7400
;fvar(27):= 7400
;fvar(28):= 7400
;fvar(29):= 7400
;fvar(30):= 7400
;fvar(31):= 7400
;fvar(32):= 7400
;fvar(33):= 7400
;fvar(34):= 7400
;fvar(35):= 7400
;fvar(36):= 7400
;fvar(37):= 7400
;fvar(38):= 7400
;fvar(39):= 7400

